Overview

In this job, you need to verify if a pizza menu item is correctly represented by a textual model represented in the Rector formalism.

Steps

  1. Examine the pizza menu item
  2. Examine the model
  3. Decide whether the model correctly represents the menu item
  4. If the model is invalid, select what defect it includes

Overview

In this job, you need to verify if a pizza menu item is correctly represented by a textual model represented in the Rector formalism.

Steps

  1. Examine the pizza menu item
  2. Examine the model
  3. Decide whether the model correctly represents the menu item
  4. If the model is invalid, select what defect it includes

Rules & Tips

Rules :

  • Existential restrictions indicate that there must be a property of the specified type. Other types are not restricted.
    Keyword in textual models: some

    • For example : "PetLoverTypeB has, amongst other things, some Cat pets." - Every instance of PetLoverTypeB has a Cat pet and may also have other pets.

  • Universal restrictions indicate that all property values for the specified property must be of a certain type. All values must be of the type but a property value does not have to exist.
    Keyword in textual models: only

    • For example: "PetLoverTypeA has, amongst other things, only Dog pets." - If instances of PetLoverTypeA have pets, the pets are always dogs. Instances of PetLoverTypeA, however, may not have any pets.

Tips:

  • The universal restriction does not imply the existential restriction.
  • If some information is not included in the model, the missing information is not false unless it contradicts the model.
Correct Modeling Incorrect Modeling



Hawaii pizzas have, amongst other things, some Tomato topping, and some Ham topping, and some Pineapple topping, and some Mozzarella topping, and also only Tomato, Ham, Pineapple and/or Mozzarella toppings.



Hawaii pizzas have, amongst other things, only Tomato, Ham, Pineapple and/or Mozzarella toppings.

The model does not represent the pizza menu item correctly as it allows for the possibility that Hawaii pizzas have no toppings at all.

Hawaii pizzas have, amongst other things, some Tomato topping, and some Ham topping, and some Pineapple topping, and some Mozzarella topping.

The model does not represent the pizza menu item correctly as it allows for the possibility that Hawaii pizzas also have toppings not listed on the menu.





Please make sure you are familiar with the rules and examples provided in the Instructions before answering the question.

Pizza Menu Model
${axiom}



Does the model represent the pizza menu item correctly ?